#!/bin/sh
docker build -t c2rust_$USER:v1 --network=host --build-arg HTTPS_PROXY="http://127.0.0.1:10805" --build-arg HTTP_PROXY="http://127.0.0.1:10805" ./docker/
docker run --env HTTPS_PROXY="http://127.0.0.1:10805" --env HTTP_PROXY="http://127.0.0.1:10805" -d c2rust_$USER:v1
docker run --env HTTPS_PROXY="http://127.0.0.1:10805" --env HTTP_PROXY="http://127.0.0.1:10805" -it c2rust_$USER:v1 bash